Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published

Source URL: arxiv.org

• Algebra
• Mathematics
• Abstract algebra
• Category theory
• Universal algebra
• Boolean algebra
• Mathematical logic
• Adjoint functors
• F-algebra
• Variety
• Monad
• Sigma-algebra

Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Substitution
• Model theory

Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club Folgen der Vernetzung Open Source Banking

Source URL: ds.ccc.de

© The AuthorPublished by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: Advance Access published on May

Source URL: www.dcs.ed.ac.uk

• Statistical randomness
• Queueing theory
• Mathematics
• Markov models
• Probability theory
• Process calculi
• PEPA
• Markov processes
• Markov chain
• Product-form solution
• Balance equation
• Jane Hillston

Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni

Source URL: www.emnets.org

• Computing
• Wireless networking
• Internet architecture
• Information and communications technology
• Network architecture
• Packet loss
• Network performance
• Transmission Control Protocol
• Routing
• Telecommunications engineering
• Computer networking
• Dynamic Source Routing

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

Source URL: www.ieee-security.org

• Mathematical analysis
• Special functions
• Mathematics
• Trigonometry
• Angle
• Dimensionless numbers
• Ratios
• Analytic functions
• Trigonometric functions
• Sine
• Taylor series
• Polynomial

Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15

Source URL: qav.comlab.ox.ac.uk

• Media access control
• IEEE 802
• Computing
• Data transmission
• Ethernet
• Wireless networking
• IEEE 802.15.4
• Carrier-sense multiple access with collision avoidance
• Carrier-sense multiple access
• Medium access control
• Zigbee
• Exponential backoff

MOBILE AND UBIQUITOUS SYSTEMS www.computer.org/pervasive Bringing Network Effects to Pervasive Spaces W. Keith Edwards, Mark W. Newman, Jana Z. Sedivy, and Trevor F. Smith

Source URL: trevor.smith.name

• Computing
• Information and communications technology
• Network protocols
• Technology
• Telecommunications engineering
• Digital media
• Mobile content
• Universal Plug and Play
• Ubiquitous computing
• Computer network
• Interoperability
• Plug and play

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional